III. Flexible Automation and Petri Net

Building Petri net s enarios for dependable automation systems

Petri net-based modelling of human-automation conflicts in aviation.

Analyses of aviation safety reports reveal that human-machine conflicts induced by poor automation design are remarkable precursors of accidents. A review of different crew-automation conflicting scenarios shows that they have a common denominator: the autopilot behaviour interferes with the pilot's goal regarding the flight guidance via 'hidden' mode transitions. Considering both the human ope...

Petri Net Based Supervisory Control of Flexible Batch Plants

The application of supervisory control concepts in the control of batch process plants is investigated in the paper. Supervisory control issues in flexible batch plants include co-ordination, resource allocation and process management. The paper utilises the Petri net based supervisory control framework to develop appropriate solutions. A straightforward approach of translating developed Petri ...

Timed Petri Net Models of Flexible Manufacturing Cells

It is shown that a class of flexible manufacturing cells can be conveniently modeled and evaluated by timed Petri nets. For simple schedules, the modeling nets are covered by conflict–free invariant subnets, so the performance of the model is determined by the performance of its subnets. For composite schedules, the invariant subnets are free-choice, so a more elaborate approach to evaluating t...

A Coloured Petri Net Based Approach for Flexible Agent Interactions

As one of the most important artificial intelligence techniques, multi-agent systems are widely applied in many fields. In a multi-agent system, agent interactions are established through exchanging messages by following some interaction protocols. However, as the application domains of MASs are getting more and more complex, some limitations of current multi-agent interaction mechanisms are ri...